<html>
<head><meta charset="utf-8"><title>Type runtime logic project group · t-lang · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/index.html">t-lang</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/Type.20runtime.20logic.20project.20group.html">Type runtime logic project group</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="197487360"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/Type%20runtime%20logic%20project%20group/near/197487360" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Khionu Sybiern <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/Type.20runtime.20logic.20project.20group.html#197487360">(May 13 2020 at 22:54)</a>:</h4>
<p>I'd like to start a Project Group with the goal of investigating how best to expose type awareness to logic, if the Lang Team is ready to accept such proposals.</p>
<p>There are a few places where Rust is lacking Runtime Type Information, and this hinders efforts to write optimal code in cases where infrastructure uses dynamic dispatch. The main idea I'm starting with is a series of traits that the compiler can derive (for ergonomic, opt-in, per-type basis), trading various optimizations for runtime functionalities.</p>



<a name="197489028"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/Type%20runtime%20logic%20project%20group/near/197489028" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scottmcm <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/Type.20runtime.20logic.20project.20group.html#197489028">(May 13 2020 at 23:13)</a>:</h4>
<p>I'm not sure which part of RTTI you're thinking about here.  Are you thinking like C++'s <code>typeid</code>, about thin-pointer-vtable-dispatch, or something else entirely?  (I first thought the former, but the mention of dynamic dispatch made me unsure.)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>